home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-07-21 | 567 b | 20 lines | [TEXT/ScoM] |
- ; ---- binary bass
-
- (lib-symbol b1 '((-2 a) = a =))
- (lib-symbol b2 '((+3 a) = a =))
- (lib-symbol b3 '((-2 a) = a (+3 a)))
- (lib-symbol b4 '(= a (+3 a) =))
- (lib-symbol b5 '((-2 a) = a =))
- (lib-symbol b6 '((+3 a) = a =))
- (lib-symbol b7 '(a (-2 a) a (-2 a)))
- (lib-symbol b8 '(= a (+3 a) (+10 a)))
- (lib-symbol b9 '(= (-2 a) a =))
- (lib-symbol b10 '((+3 a) = a =))
- (lib-symbol b11 '((+3 a) = a (+3 a)))
- (lib-symbol b12 '(= a (+3 a) =))
- (lib-symbol b13 '((-2 a) = a =))
- (lib-symbol b14 '((+3 a) = a =))
- (lib-symbol b15 '((+3 a) a (+3 a) a))
- (lib-symbol b16 '(= a (+10 a) =))
-
-